Reliable broadcast in anonymous distributed systems with fair lossy channels
نویسندگان
چکیده
منابع مشابه
Reliable broadcast in anonymous distributed systems with fair lossy channels
Reliable Broadcast is used to disseminate messages among a set of processes with RB broadcast() and RB deliver() operations, which was introduced in [1]. Reliable Broadcast is a broadcast service that requires all non-crashed processes deliver the same set of messages. This service has been extensively studied in non-anonymous systems, usually assuming that communication channels are reliable (...
متن کاملImplementing uniform reliable broadcast with binary consensus in systems with fair-lossy links
When implementing multivalued consensus using binary consensus, previous algorithms assume the availability of uniform reliable broadcast, which is not implementable in systems with fair-lossy links. In this paper, we show that with binary consensus we can implement uniform reliable broadcast directly in systems with fair-lossy links, and thus the separate assumption of the availability of unif...
متن کاملAn ordered and reliable broadcast protocol for distributed systems
The purpose of a reliable broadcast protocol is to allow groups of nodes on unreliable broad cast networks to reliably broadcast messages A reliable broadcast protocol must guarantee two properties all of the receivers in a group receive the broadcast messages and each of the receivers orders the messages in the same sequence In an optimistic approach to reliable broadcast protocol a batch ackn...
متن کاملEfficient Reliable Data Broadcast over Multiple Channels
The broadcast disk is a useful technique for distributing data to many clients simultaneously. A central server fixes a set of data and a schedule for sending it, and then repeatedly sends the data according to the schedule. Clients listen for data until it is broadcast. We look at the problem of scheduling for two separate channels, where each can have a different broadcast schedule. Our metri...
متن کاملOn Verifying Fair Lossy Channel Systems
Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. They are an important computational model because of the role they play in the algorithmic verification of communication protocols. In this paper, we show that fair termination is decidable for a large class of these systems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of High Performance Computing and Networking
سال: 2017
ISSN: 1740-0562,1740-0570
DOI: 10.1504/ijhpcn.2017.10007198